$\forall$${\it es}$:ES, $i$:Id, $s$:state@$i$. ($\lambda$$x$.$s$($x$)) $=$ $s$